Nadia Busi: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

DATA-DRIVEN COORDINATION IN PEER-TO-PEER INFORMATION SYSTEMS

BUSI, NADIA, MONTRESOR, ALBERTO, ZAVATTARO, GIANLUIGI

Journal:

International Journal of Cooperative Information Systems

Year:

2004

Language:

english

File:

PDF, 306 KB

english, 2004

2

Preface

Nadia Busi, Roberto Gorrieri, Fabio Martinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 66 KB

english, 2005

3

A Process Algebraic View of Coordination

Nadia Busi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 164 KB

english, 2006

4

Expressiveness Issues in Brane Calculi: A Survey

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 373 KB

english, 2008

5

Using well-structured transition systems to decide divergence for catalytic P systems

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 288 KB

english, 2007

6

Foreword

Nadia Busi, Claudio Zandron

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 145 KB

english, 2008

7

Computational expressiveness of Genetic Systems

Nadia Busi, Claudio Zandron

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 469 KB

english, 2009

8

Stochastic biological modelling in the presence of multiple compartments

Cristian Versari, Nadia Busi

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.40 MB

english, 2009

9

Integrating TwoTowers and GreatSPN through a compact net semantics

Marco Bernardo, Nadia Busi, Marina Ribaudo

Journal:

Performance Evaluation

Year:

2002

Language:

english

File:

PDF, 309 KB

english, 2002

10

Analysis issues in Petri nets with inhibitor arcs

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 378 KB

english, 2002

11

Expired data collection in shared dataspaces

Nadia Busi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 260 KB

english, 2003

12

A process algebraic view of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.17 MB

english, 1998

13

Comparing three semantics for Linda-like languages

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 258 KB

english, 2000

14

On the Expressiveness of Movement in Pure Mobile Ambients

Nadia Busi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 718 KB

english, 2002

15

SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agent∗

Nadia Busi, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 190 KB

english, 2003

16

On the Turing equivalence of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 30 KB

english, 1997

17

Preface

Nadia Busi, Claudio Zandron

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 101 KB

english, 2007

18

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

Cristian Versari, Nadia Busi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 348 KB

english, 2008

19

On the expressive power of movement and restriction in pure mobile ambients

Nadia Busi, Gianluigi Zavattaro

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 405 KB

english, 2004

20

On the Serializability of Transactions in JavaSpaces

Nadia Busi, Gianluigi Zavattaro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 274 KB

english, 2001

21

On the Expressiveness of Linda Coordination Primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 463 KB

english, 2000

22

A process algebraic view of shared dataspace coordination

Nadia Busi, Gianluigi Zavattaro

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 354 KB

english, 2008

23

Distributed semantics for the -calculus based on Petri nets with inhibitor arcs

Nadia Busi, Roberto Gorrieri

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 496 KB

english, 2009

24

[IEEE 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - timisoara, Romania (2006.09.26-2006.09.29)] 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Characterizing Workflow Nets Using Regions

Busi, Nadia, Pinna, G.

Year:

2006

Language:

english

File:

PDF, 153 KB

english, 2006

25

[IEEE 2006 Winter Simulation Conference - Monterey, CA, USA (2006.12.3-2006.12.6)] Proceedings of the 2006 Winter Simulation Conference - Modeling and Analysis of Biological Processes by Mem(Brane) Calculi and Systems

Busi, Nadia, Zandron, Claudio

Year:

2006

Language:

english

File:

PDF, 263 KB

english, 2006

26

On the expressive power of recursion, replication and iteration in process calculi

BUSI, NADIA, GABBRIELLI, MAURIZIO, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 405 KB

english, 2009

27

Process discovery and Petri nets

BUSI, NADIA, PINNA, G. MICHELE

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 516 KB

english, 2009

28

Deciding reachability problems in Turing-complete fragments of Mobile Ambients

BUSI, NADIA, ZAVATTARO, GIANLUIGI

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 487 KB

english, 2009

29

An expressiveness study of priority in process calculi

VERSARI, CRISTIAN, BUSI, NADIA, GORRIERI, ROBERTO

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 473 KB

english, 2009

30

Efficient computation in rational-valued P systems

BUSI, NADIA, GUTIÉRREZ-NARANJO, MIGUEL A., PÉREZ-JIMÉNEZ, MARIO J.

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 296 KB

english, 2009

31

Structural non-interference in elementary and trace nets

BUSI, NADIA, GORRIERI, ROBERTO

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 443 KB

english, 2009

32

(Tissue) P systems with cell polarity

BESOZZI, DANIELA, BUSI, NADIA, CAZZANIGA, PAOLO, FERRETTI, CLAUDIO, LEPORATI, ALBERTO, MAURI, GIANCARLO, PESCINI, DARIO, ZANDRON, CLAUDIO

Journal:

Mathematical Structures in Computer Science

Year:

2009

Language:

english

File:

PDF, 332 KB

english, 2009

33

[ACM Press the 2003 ACM symposium - Melbourne, Florida (2003.03.09-2003.03.12)] Proceedings of the 2003 ACM symposium on Applied computing - SAC '03 - PeerSpaces

Busi, Nadia, Manfredini, Cristian, Montresor, Alberto, Zavattaro, Gianluigi

Year:

2003

Language:

english

File:

PDF, 677 KB

english, 2003

34

[ACM Press the 2000 ACM symposium - Como, Italy (2000..-..)] Proceedings of the 2000 ACM symposium on Applied computing - SAC '00 - Event notification in data-driven coordination languages

Busi, Nadia, Zavattaro, Gianluigi

Year:

2000

Language:

english

File:

PDF, 612 KB

english, 2000

35

[ACM Press the 2002 ACM symposium - Madrid, Spain (2002.03.11-2002.03.14)] Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 - On the serializability of transactions in shared dataspaces with temporary data

Busi, Nadia, Zavattaro, Gianluigi

Year:

2002

Language:

english

File:

PDF, 710 KB

english, 2002

36

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Busi, Nadia, Pinna, G. Michele

Journal:

Fundamenta Informaticae

Year:

1999

File:

PDF, 1.52 MB

1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски